Concurrent Systems – Bücher, CDs, DVDs und mehr

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Concurrent Systems" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:

Concurrent Programming, Open Systems and Formal Methods

This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 89,80

Devs

Die Originalmusik zu »Devs« von Ben Salisbury, The Insects und Geoff Barrow ist als 2xCD oder 3xLP erhältlich. Die Doppel-CD ist in einem 6-Panel-Digipack verpackt.

lieferbar innerhalb von 3 Tagen
2 CDs
 
Vorheriger Preis EUR 18,99, reduziert um 10%
Aktueller Preis: EUR 16,99

Devs (Original Series Soundtrack)

Die Originalmusik zu »Devs« von Ben Salisbury, The Insects und Geoff Barrow ist als 2xCD oder 3xLP erhältlich. Die Doppel-CD ist in einem 6-Panel-Digipack verpackt.

lieferbar innerhalb von 3 Tagen
3 LPs
 
Aktueller Preis: EUR 36,99

Edison - Ein Leben voller Licht

Amerika kurz vor Beginn des 20. Jahrhunderts: Thomas Edison, einer der genialsten Erfinder aller Zeiten, steht kurz davor, zum ersten Mal einen ganzen Straßenzug in Manhattan mit elektrischem Licht zu erl…

Artikel am Lager
DVD
 
Aktueller Preis: EUR 7,99

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 142,37

Rebeca for Actor Analysis in Action

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.Marjan Sirjani received her PhD in Computer Engineering from Shar…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 72,27

Raymond Devillers, Eike Best
Petri Net Primer

Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources.Although the dynamic properties of such systems …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 63,99

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 164,28
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.